арифметика Гильберта

арифметика Гильберта
Hilbert arithmetic лог.

Русско-английский словарь по вычислительной технике и программированию . 2013.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • АРИФМЕТИКА — область знаний о числах и операциях в числовых множествах. Говоря об А., имеют в виду рассмотрение вопросов о происхождении и развитии понятия числа, приемы и средства вычислений, исследование операций с числами различной природы, анализ… …   Математическая энциклопедия

  • ГИЛЬБЕРТА СИСТЕМА АКСИОМ — евклидовой геометрии система аксиом, предложенная в 1899 Д. Гильбертом (см. [1]). Со времени первой публикации Г. с. а. Д. Гильберт внес в систему аксиом различные изменения и уточнения. Основными (неопределяемыми) понятиями в Г. с. а. являются… …   Математическая энциклопедия

  • Десятая проблема Гильберта — Десятая проблема Гильберта  одна из 23 задач, которые Давид Гильберт предложил 8 августа 1900 года на II Международном конгрессе математиков. Она состоит в нахождении универсального метода целочисленного решения произвольного алгебраического …   Википедия

  • Вторая проблема Гильберта — Вторая из знаменитых математических проблем, которые Давид Гильберт выдвинул в 1900 году в Париже на II Международном Конгрессе математиков. До сих пор среди математического сообщества нет консенсуса относительно того решена она или нет. Проблема …   Википедия

  • История арифметики — Арифметика. Роспись Пинтуриккьо. Апартаменты Борджиа. 1492 1495. Рим, Ватиканские дворцы …   Википедия

  • История математики — История науки …   Википедия

  • Математика Древнего Востока — История науки По тематике Математика Естественные науки …   Википедия

  • Математика —          I. Определение предмета математики, связь с другими науками и техникой.          Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира.          «Чистая …   Большая советская энциклопедия

  • Математика гармонии — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/22 ноября 2012. Пока процесс обсуждени …   Википедия

  • ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… …   История Философии: Энциклопедия

  • ГЁДЕЛЬ Курт (1906 - 1978) — математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях математической логики, как теория… …   История Философии: Энциклопедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”